VDict - Definition of evaluation function

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

eager evaluation lazy evaluation strict evaluation strict applicative order reduction partial evaluation termination analysis call-by-need functional programming call-by-value conservative evaluation speculative evaluation specialisation referential transparency graph reduction lenient evaluation eta conversion higher-order function call-by-name function tupling head-strict hash function quine binding-time analysis lazy list CORAL partial function injection linear function strength reduction bracket abstraction total function one-way hash function higher-order macro database administrator ISWIM least fixed point inline Gofer argument trap-door function Initial Operational Test and Evaluation cproto typed lambda-calculus metric space space leak one-way function Church integer interpolation abstraction NOR McCulloch-Pitts neuron polymorphic lambda-calculus recursion GNU superoptimiser projection evaluator codomain reduction more...